Boolean algebras canonically defined - PDFSEARCH.IO - Document Search Engine

Boolean algebras canonically defined
Results: 17

#	Item
11	Formal Verification of Digital Circuits Using Symbolic Ternary System Models Randal E. Bryant Carl-Johan Seger Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-11-16 11:31:41 Mathematical logic Algebraic logic Circuit Boolean function Model checking FO Topology Boolean algebras canonically defined Boolean circuit Theoretical computer science Mathematics Boolean algebra
12	Gates Accept Concurrent Behavior Vineet Gupta Vaughan Pratt∗ Dept. of Computer Science Stanford University, CA 94305 {vgupta,pratt}@cs.stanford.edu Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2004-02-21 10:39:43 Algebraic logic Boolean algebra Algebraic structures Forcing Chu space Boolean algebras canonically defined Boolean-valued model Mathematical logic Mathematics Abstract algebra
13	Package ‘bit’ July 2, 2014 Type Package Title A class for vectors of 1-bit booleans Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:22:05 Theoretical computer science Mathematics Arrays Bit array FO Boolean data type 64-bit Find first set Boolean algebras canonically defined Boolean algebra Arithmetic Binary arithmetic
14	On induction vs. -continuity Add to Reading List Source URL: www.cs.cornell.edu Language: English* - Date: 2013-06-11 18:45:23 Algebraic structures Kripke semantics Boolean algebra Model theory Kleene algebra Boolean algebras canonically defined C*-algebra Mathematics Mathematical logic Logic
15	Psychological Review 2007, Vol. 114, No. 3, 599 – 631 Copyright 2007 by the American Psychological Association 0033-295X/07/$12.00 DOI: [removed]295X[removed] Add to Reading List Source URL: www.pashler.com Language: English - Date: 2007-07-26 11:55:36 Cognitive science Boolean data type Anne Treisman Data type Visual search Boolean algebras canonically defined Boolean algebra Mathematical logic Mathematics
16	ARTIFICIAL INTELLIGENCE 255 Add to Reading List Source URL: www.researchgate.net Language: English Algebraic structures Logic in computer science Boolean algebra Rewriting Lambda calculus Ring Canonical form Knuth–Bendix completion algorithm Boolean algebras canonically defined Mathematics Abstract algebra Mathematical logic
17	PDF Document Add to Reading List Source URL: www.wiley.com Language: English - Date: 2000-10-16 11:54:44 Mathematical logic Algebraic structures Algebraic logic Axiom Model theory Boolean algebras canonically defined Outline of algebraic structures Abstract algebra Mathematics Boolean algebra

UPDATE